Mr. Floyd S. Muckey on voice

Task Force S . Floyd INTERNET - DRAFT

This document describes tools for the evaluation of simulation and testbed scenarios used in research on Internet congestion control mechanisms. We believe that research in congestion control mechanisms has been seriously hampered by the lack of good models underpinning analysis, simulation, and testbed experiments, and that tools for the evaluation of simulation and testbed scenarios can help ...

Engineering Task Force S . Floyd INTERNET - DRAFT ICIR

This document describes a possible congestion control mechanism for acknowledgement traffic (ACKs) in TCP. The document specifies an end-to-end acknowledgement congestion control mechanism for TCP that uses participation from both TCP hosts, the TCP data sender and the TCP data receiver. The TCP data sender detects lost or ECN-marked ACK packets, and tells the TCP data receiver the ACK Ratio R ...

Semantical Considerations on Floyd-Hoare Logic

On Floyd and Putnam on Wittgenstein on Gödel

In a recent discussion piece, Juliet Floyd and Hilary Putnam present a new analysis of Wittgenstein’s “notorious paragraph” on Gödel’s first incompleteness theorem. Textually, they claim that Wittgenstein’s remarks have been widely misunderstood, and they argue that Wittgenstein had a better understanding of Gödel’s theorem than he has often been credited with. Substantively, they find in Wittg...

Logic Characterization of Floyd Languages

Floyd languages (FL), alias Operator Precedence Languages, have recently received renewed attention thanks to their closure properties and local parsability which allow one to apply automatic verification techniques (e.g. model checking) and parallel and incremental parsing. They properly include various other classes, noticeably Visual Pushdown languages. In this paper we provide a characteriz...